DisCSP.CSP.Constraint
Class NotEqualConstraint

java.lang.Object
  DisCSP.CSP.Constraint.NotEqualConstraint

All Implemented Interfaces:

BinaryConstraint

public class NotEqualConstraint

extends java.lang.Object

implements BinaryConstraint

Constructor Summary

NotEqualConstraint(Variable v1, Variable v2)
Costruttore di NotEqualConstraint

Method Summary

boolean	check(int v1, int v2) Verifica, dati due interi v1 e v2, se v1!
Variable[]	getVariables() Restituisce le due variabili del vincolo
java.lang.String	print() Stampa il vincolo
boolean	propagateToLeft() Propaga il vincolo verso sinistra
boolean	propagateToRight() Propaga il vincolo verso destra

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NotEqualConstraint

public NotEqualConstraint(Variable v1,
                          Variable v2)
                   throws NotBinaryConstrException

Costruttore di NotEqualConstraint

Parameters:

v1 - la prima variabile coinvolta nel vincolo

v2 - la seconda variabile coinvolta nel vincolo

Method Detail

check

public boolean check(int v1,
                     int v2)

Verifica, dati due interi v1 e v2, se v1!=v2

Specified by:

check in interface BinaryConstraint

Parameters:

v1 - il primo intero

v2 - il secondo intero

Returns:

true se v1!=v2, false altrimenti

getVariables

public Variable[] getVariables()

Restituisce le due variabili del vincolo

Specified by:

getVariables in interface BinaryConstraint

Returns:

le due variabili legate dal vincolo binario

propagateToRight

public boolean propagateToRight()

Propaga il vincolo verso destra

Specified by:

propagateToRight in interface BinaryConstraint

Returns:

true se il dominio della prima variabile è stato modificato, false altrimenti

propagateToLeft

public boolean propagateToLeft()

Propaga il vincolo verso sinistra

Specified by:

propagateToLeft in interface BinaryConstraint

Returns:

true se il dominio della seconda variabile è stato modificato, false altrimenti

print

public java.lang.String print()

Stampa il vincolo

Specified by:

print in interface BinaryConstraint

Returns:

una stringa rappresentante il vincolo